\begin{tabbing}
$\forall$\=${\it ds}$:(Id$\rightarrow$Type\{i\}), ${\it da}$:(Id$\rightarrow$Knd$\rightarrow$Type\{i\}), $A$, $B$:Type\{i\}, ${\it Ca}$:component\{i:l\}(${\it ds}$; ${\it da}$; $A$; Top),\+
\\[0ex]${\it Cb}$:component\=\{i:l\}\+
\\[0ex](${\it ds}$; ${\it da}$; $B$; Top).
\-\-\\[0ex]component{-}output{-}disjoint\{i:l\}(${\it ds}$; ${\it da}$; $A$; $B$; ${\it Ca}$; ${\it Cb}$) $\in$ $\mathbb{P}$\{i'\}
\end{tabbing}